]> dgit.raspbian.org Git - gnome-shell.git/commit
theme: use regular borders for top bar buttons
authorJakub Steiner <jimmac@gmail.com>
Wed, 29 Oct 2014 13:48:20 +0000 (14:48 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 20 Feb 2015 14:14:43 +0000 (15:14 +0100)
commit068ebbf2a6e3fe042255e459ceb07935bd6ecdce
tree04dbad6544dddaa9251ca54c8e062c6932d5b4ea
parent6bc222f37bc7a1425a82896a88b427363d7fef72
theme: use regular borders for top bar buttons

- no need to abuse image assets.
- big thanks to carlos for making it possible.
data/gnome-shell-theme.gresource.xml
data/theme/_common.scss
data/theme/gnome-shell.css
data/theme/panel-button-border.svg [deleted file]